Feeds to Scour
SubscribedAll
Scoured 184265 posts in 10.9 ms
OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering
arxiv.org·4h
🧠Memory Consistency
Extending Formal Verification to Sequential Circuits (U. of Bremen)
semiengineering.com·16h
📈Monotonic Logic
I Fuzzed, and Vibe Fixed, the Vibed C Compiler
john.regehr.org·14h·
Discuss: Lobsters, Hacker News
🩺Compiler Diagnostics
ACPBench: Reasoning about Action, Change, and Planning
arxiv.org·4h
🧩Constraint Logic
Weeks 6-8: Advanced Arrays, Problem-Solving Patterns, and Building a Data CLI
dev.to·17h·
Discuss: DEV
🌊Dataflow Languages
Pointer alignment verification
frama-c.com·21h
🏷️Memory Tagging
Building a Virtual Computer for the Intel 80286
hackster.io·14h
🔧RISC-V
Show HN: Btrc – I built a language with AI in a few weeknights that outputs C11
github.com·15h·
Discuss: Hacker News
🧸Toy Compilers
Best performance of a C++ singleton
andreasfertig.com·9h
💾Zero-Copy
Optimizing Recommendation Systems with JDK’s Vector API
netflixtechblog.com·7h·
Discuss: Hacker News, r/programming
🔀SIMD Programming
Building an Open-Source Verilog Simulator with AI: 580K Lines in 43 Days
normalcomputing.com·7h·
Discuss: Hacker News
💓Live Variable Analysis
Right-sizes LLM models to your system's RAM, CPU, and GPU
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Minimal VMs
Oreo: Protecting ASLR Against Microarchitectural Attacks
papers.cool·1d
🏷️Memory Tagging
The RISC Concept - A Survey of Implementations
inf.fu-berlin.de·3d
🔧RISC-V
The 185-Microsecond Type Hint
blog.sturdystatistics.com·11h·
Discuss: Lobsters, Hacker News, r/programming
⚡Interpreter Optimization
A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices
coding-mischief.com·11h·
Discuss: Hacker News
🤐Zipper Structures
Lean and AI caught a bug in my 2-year-old TLA+ spec
medium.com·1d·
Discuss: Hacker News
🎯Symbolic Execution
Understanding the Go Compiler
internals-for-interns.com·1d
🐹Go Internals
Building a Dependency-Free GPT on a Custom OS
hackaday.com·29m
🔄Bootstrapping
Maximally minimal specialization: always applicable impls
smallcultfollowing.com·20h
⚡Partial Evaluation

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help